package no.uio.ifi.cop.prover.factorder;

import java.util.Map;
import java.util.HashMap;
import java.util.Collection;

/**
 * A /dev/null Map, ignores all entries.
 *
 * @version 1.0
 * @author  bjarneh@ifi.uio.no
 */

public class IgnoreMap<K,V> extends HashMap<K,V> {

    public IgnoreMap(){
        super();
    }

    public IgnoreMap(int initialCapacity){
        super();
    }

    public IgnoreMap(int initialCapacity, float loadFactor){
        super();
    }

    public IgnoreMap(Map<? extends K,? extends V> m){
        super();// ignore entire map :-)
    }

    public void clear(){
        // this map has no content
    }

    public V put(K key, V value){
        return null;
    }

    public Collection<V> values(){
        return super.values();
    }

    public V remove(Object key){
        return null;
    }
}
